English solid-state logic: translation to other languages